@article{niu2021model,
  title={Model discrimination of switched nonlinear systems with temporal logic-constrained switching},
  author={Niu, Ruochen and Hassaan, Syed M and Yang, Liren and Jin, Zeyuan and Yong, Sze Zheng},
  journal={IEEE Control Systems Letters},
  volume={6},
  pages={151--156},
  year={2021},
  publisher={IEEE}
}